#include<stdio.h>
int main ()
{
	int n;
	scanf("%d",&n);
	if(n>=1&&n<=12)
	{
		if(n>=2&&n<=4)
		{
			printf("Spring");
		}
		else if(n>=5&&n<=7)
		{
			printf("Summer");
		}
		else if(n>=8&&n<=10)
		{
			printf("Autumn");
		}
		else 
		{
			printf("Winter");
		}
	}
	else 
	{
		printf("Error");
	}
	return 0;
}